|
|
Definition of Law of excluded middle
1. Noun. (logic) An axiom of classical logic which states that, given a proposition ''P'', either ''P'' is true or ''P'' is false, i.e. in symbols: . This law is rejected by intuitionistic logic. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Law Of Excluded Middle
Other Resources:
